1

Embedding the hypersequent calculus in the display calculus

Year:
2015
Language:
english
File:
PDF, 226 KB
english, 2015
6

Cut-elimination for Weak Grzegorczyk LogicGo

Year:
2014
Language:
english
File:
PDF, 376 KB
english, 2014
7

VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED

Year:
2012
Language:
english
File:
PDF, 188 KB
english, 2012
23

Hypersequent and Display Calculi – a Unified Perspective

Year:
2014
Language:
english
File:
PDF, 444 KB
english, 2014
24

Epidemic Change Model for the Exponential Family

Year:
2004
Language:
english
File:
PDF, 228 KB
english, 2004
35

Power and Limits of Structural Display Rules

Year:
2016
Language:
english
File:
PDF, 676 KB
english, 2016
37

Platelet-Rich Plasma: A Literature Review

Year:
2009
Language:
english
File:
PDF, 1.31 MB
english, 2009
40

Loss and travel: a review of literature and current understandings

Year:
2017
Language:
english
File:
PDF, 878 KB
english, 2017